Final fixes for smtcomp2014-application.