Added a workaround attempt for Travis CI