CTAN bug fix: l3kernel