How to use a different source for a cargo dependency under miri...