Told configure to also look for runantlr as that is a problem on some distributions