automatically add .xml extension if the user did not add it; close #9