Fix for gcc on Linux