This implies that it ought to stay out of the source tree...