profile: add preference for make --no-print-dir