try to fix travis #5