added encoding header to make sure default_external is UTF-8