add options for minted