michael@0: #!/bin/sh
michael@0: patch -p1 < r512.patch