Merged with RUN (new liblitmus)