Finally fixed Travis-CI configuration.