Fix GNU/Linux build