Hack to work around broken jenkins