Compilation fix on Linux.