makefile.sky was missing magically