Actually, do you think that might be kind of annoying? What if they already have a modified version of the doctrine CLI in some location they've already created?