we broke jenkins - revert changes and proceed a little more slowly :-(