better definitions for minted shortcuts
use the correct environment for minted