more hacks for ci