Die Datei ist schon mal identisch mit der Originalen, daran liegts also nicht.

Funktioniert das "Passwort Ändern" im Userprofil?

Hast du an der Datei lib/session.lib.php Änderungen vorgenommen?