Build fixes#18

phodina wants to merge 2 commits intotinythings:mastertinythings/microhop:masterfrom

phodina:build-fixesphodina/microhop:build-fixesCopy head branch name to clipboard