list files that do not go into the distribution