work around optimization bug with GCC on android