(I recall that this was needed in some cases in the past, and might fix
the validate error on travis.)