jenkins bug workaround