Compile ARM targets with GCC 4.8