fix: broken travis, type error
fix: broken travis, type error

Former-commit-id: ef64571944ae814adbbcfe5de1cfaf97333bc47a
Former-commit-id: eed83fb8f40816069578c9b5c83189e482644516 [formerly 1bee45b9cb75f33106dcddb7ea6199593a61447c] [formerly 2b5bd740f732a1c2f41b681fb82867447024f79d [formerly ac152b7196400d21f018589eaa275f0ebb224475]]
Former-commit-id: 2402c26a704f3e3ac8f999c1e6338c807ef2d6d0 [formerly 969f7114af95fd66dc082fcd692126be7e9fdf3d]
Former-commit-id: 63dc9c109b1ee8291fcd8273d93c721aa00b55de
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild