another attempt to fix Travis error