--- opengl.eselect.old 2007-10-24 23:55:46.000000000 +0200 +++ opengl.eselect 2007-10-24 23:57:07.000000000 +0200 @@ -79,7 +79,7 @@ # Note that we don't do .so*, just .so on purpose. The # loader knows to look in the profile dir, and the # linked just needs the .so - for file in ${profile_libdir}/libGL{,core}.{so,a,la}; do + for file in ${profile_libdir}/libGL{,core}.{{so,so.*},a,la}; do if [[ ${ROOT} != / ]] ; then rootfile="${file//${ROOT}}" else