fix-pintos-script-geometry.patch (applied cleanly)