Make yaccspl work.