Made it compilable on Linux.