Try to fix linux, round 2