Rm indentFormatFix and theoryFilesSurgeon from std theory cmd
Bug fix for filenameScanner