Travis-CI: fix for MacOSX