fix Linux bugs