fix jenkins control file