bug fixes: "make -f dev.make" works