Fix linux compilation errors (?)