jenkins: Make profiling setting conditional