Better support alternative targets in genbindings.sh