Add missing exports for hello world