Treat .edts-files better