# Remove now-installed binary
rm -f src/gadget
