/PROFILE in debug mode

This should enable code coverage analysis with Jenkins.