Export extension files