there is now a toplevel makefile for making dist, so that we can keep the project build systems separate (in src and contrib/UI*), and then build dist from the root dir