lib/3.5 and lib/3.6: remove numbers from filenames