On Wed, 10 Oct 2012 13:11:12 +0300, Serge wrote: > Turning /lib into /usr/lib was also incompatible with every other Linux > distro, nevertheless it's already done. The fact that we've made one useless and harmful mistake doesn't mean that we should repeat it all the time. Matěj