Quick fix compilation on Linux.