Updated patch to fix three issues: 1) Change output name `doc' to `src' and install under src/-/, 2) Change output name `devel' to `lib', and 3) Delete extraneous *.py files from `lib' output. However, in the course of the above, I ran into an issue with a non-deterministic build. For now I'm sharing the current state of the patch but am looking into fixing the determinism.