Replacement works!
SemTeX running pdflatex and successfully generating output