Fix byacc

The old URL was broken, and there have actually been real updates fairly recently (!) that made the `sed` call unnecessary, as far as I can tell.