buildotherrepo: make it international!
mahimahi: Add buildotherrepo