r7837: set svn:ignore for shared library