Make sure classpath is up-to-date when executing Sireum tools.