How to run Boogie has to now be specified beforehand using an environment variable called BOOGIE.