Quick fix for broken ufc.i that makes tests fail to run on my machine, strangely passing on buildbot.