Add Mina for server deployment.