Compilation fix on Linux systems.