Try again to work around Jenkins oddity