mantis installation