Renamed android profiler flag to WITH_GPROF