* refined Travis CI build config
* fixing Travis CI build config