fixup things for linux