stop pushing sources around jenkins and just use the bundled specs (*nix patch)