The "new" php session-cleaning source works fine for several days at my servers, so we can delete the old (not working) one