config files for jenkins