Probably a good idea, but I wasn't immediately sure how to do that (in the other repos it seemed to involve automatic re-invoking of make) and the really important thing was to get the executables out of the repo's base directory. I'm sure what you suggest would be worth someone making a pull request, though.