Update directory submodule to v1.2.5.1 release
Update directory submodule to v1.2.5.1 release

(cherry picked from commit 4bba19a56ddf98dc569878ea052e312487122d70)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc