back to TARGET_GCC_VERSION := 4.7