SEE pruning and extensions same at PV nodes (2672033)
Also get rid of Makefile, and use a simple make script.