Fix missing include on Linux. (Bug #1)