Exporting some symbols that were otherwise missing