Aroma: Added option to install Mali libraries.