fix build with current rust