Build #12:   Try to fix 2.5 travis build on branch master almost 8 years ago