Added Mantis launcher