Allow the user to specify the file type for state charts