Setting a different session name to that of the one in php.ini to avoid
conflicts with other PHP apps running on the same server, such as gallery
and geeklog.