let's try to get this to work with travis...