params file for jenkins server. will need to be tweaked every time.