Use official tomcat repo rather