A new alias to avoid using -f option for dev.makefiles