Fix linux/gcc build