linux fix
other fix