Fix compilation of applied de bruijn vars.