Fix linux compilation issue on certain platforms