BUG re #12 fix build on Travis