Temporarily fix travis (@eisnerd 's patch)