Specifying file type in VScode