Removed dependency on sireum-lib/bin.