Added more symbols to be exported