Yes, that's a compelling argument. I wonder if it would make sense to add some special configuration option for development, that would enable extra development tools and other goodies? (I often find myself adding strace…) (I think they probably shouldn't be present by default, because then it could be difficult to be sure nothing was depending on them in future when it came time to remove them. But something that any given developer could set once and then always have developer stuff available, and toggle off when they wanted to test a production build, could make things a lot nicer.)