trying to fix loading json files from jar in Jygments