Fix a bug in split_ext