Make compilation work with yersterday's rust version