This travis option isn't necessary.