Makefile_v1 etc.: major cleanup and fixes of build system; small other updates and fixes
#265
| Job | Run time |
|---|---|
| 1m 45s | |
| 1m 45s |