Minted in languages other than English

This release fixes a serious bug that was blocking listings with minted to work (except for only-English documents).