Tweaks for Linux compilation