some fixes so that the abm-recdef compiles