Add boogie hashfile for new builds of boogie