fixing some annoying linux stuff