chiark / gitweb /
fix hardcoding of patch dir