Extensions and patches for fancyvrb
