try to fix travis #3