This addresses a deprecation warning. The latter filename has been supported since Rust 1.39, well under our MSRV.