Travis build 1712 pushed to master