try to overcome travis timeout