fix CI build (dunno why but it builds locally)

fix CI build (dunno why but it builds locally) #20