Bugixes for gcc