* refined Travis CI build config