Added mantis launcher