fix problem on remote server by using same version as tomcat7