GCC: update formula for GCC-4.8.3