Travis build 12 pushed to Github [ci skip]