fix compile on ubuntu (ani also had a local fix for this from andres, but it never got pushed)