fix mantis install