workaround for #4003, fixes HEAD build with 6.12.2