Dist is set in the Makefile