Use -O1 with GCC 4.7.0-4.7.2. #1965