gcc 4.8: no need for the arm eabi patch.