Allow make install-progname without running make progname.