"make -f" is more portable than "make --file"