Minor linux tweak