Fix so it compiles on Jenkins...