Made it compilable on Linux