Check but do not run due to Travis CI limitations