Oops, shouldn't have added the executable to the repository.
Pre-empt a compilation problem on some Ubuntu machines.