Set GCC version to 4.8 in setEnvironment-armeabi-v7a-hard.sh