Revert "Make standard makefile option always use profiling info if it exists"

This reverts commit 309a2c7f686105798d898b900b1b0d560a54d0ec.