Make it compile on Linux