gcc version 4.7.3 fixes