Made g++ use 02, as slightly faster than 03 here