Fixed several cases where the path to authenticated_user_id got clobbered. Rev: server/base_server/module.pike:1.211