Fix linux/gcc compilation