Manticore official name

Signed-off-by: Pablo Lezaeta <prflr88@gmail.com>