One more try to fix Travis pygments info