Removed file dist_prec.c, which somehow got back into the src directory.