Add cast to try to make travis mac happy
Add cast to try to make travis mac happy

glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal