have travis use thor