Renamed binary to match debian/install.