another take on fixing Travis build, badge added