Linux/GCC fixes