printsize.h missing from make dist, redmine #5439.