Hack to workaround still-broken jenkins