Fix compilation on linux

Following the advice in f4d2365ceb91cc28fce5f460aed1e9416509afe2