GCC: update formula for gcc-4.8.1