try to make pygments work