make Makefile FPU-ready