Made file extensions configurable via settings, related to issue #8