Try to fix Travis build (timeout on slow OSX host)