gcc-specific fixes