Work around a bug in dflet on 24.3.1