Fix make -f option bug