Re-fix Travis-CI settings.
Refine Travis-CI settings.