A session manager for the ROX desktop