Try to work around Jenkins oddity