sort extensions by alphanumeric order

They should be sorted somehow. For now, alphabetic sorting is better
than not being sorted.