Fix another broken path to Boogie.