Made it compile on Linux