wavto16: Make it possible to specify several files or use wildcards

48ab68d6-dafd-11e3-b3fa-c80aa9e67bbd