Fix linux #ifdef