Try to fix the travis specs