try to fix Travis issue!