- make sure older tomcat-native cannot be used