Fix linux compilation of clense