Allow compilation on Linux (maybe Mac OS too)