fix for a newer rustc