[Olena-patches] [PATCH 1/2] Fix the generation of milena/headers.mk.