fix building on rust 1.53