makefile: tweak paths for a single-directory installation