PHP4 extension for session-handling 