fix Travis whining