Remove deprecated mali files and options