issue #2284: add some files into extensions linux project