fix compilation with latest aversive