changes for mali export_symbol