mantri built file will now be included in the repo