Travis: download extensions