This is required by tornado on python < 3.2