Try to fix the configuration issue in Travis