Some build-on-Linux patches.