Make standard makefile option always use profiling info if it exists