Attempting to fix unzipping for Travis CI.