fixes compilation on linux