for debugging Travis CI failure