Travis build 13 pushed to Github