bring back jenkins scripts to work around bug in ShingingPanda plugin