Support --profiling in addition to -profiling, following the 'two dashes for words, one dash for letters convention.' Fixes #2679