Fix things broken by the latest rust nightly