travis-ci config; #83