fix scintilla files being compiled twice