try to fix Travis issue