fix travis, see #2