Fix profiling options