Fixes jenkins config file.