bash - changeExtension