shared libraries from this branch... Of course, we need to watch out whenever a merge is happening :-).