oops; removed wrong dependency from Travis config