* [core]: omit double slashes in file names
* [core]: adapt to leading dot in file names