Gave up on Travis-CI Linux environment; back to MacOSX