gcc 4.2 is still on the supported list?