add mint petra support