Makefile_v1 etc.: major cleanup and fixes of build system; small other updates and fixes
#284
| Job | Run time |
|---|---|
| 2m 4s | |
| 2m 4s |