Redo Marpa version checking: t+