jenkins: use new workspace