trying to fix Travis