cat ../makeflags makefile > makefl; mv makefl makefile
