weka uploads also external version, corresponding to new format