[[!comment format=mdwn username="joey" subject="""comment 1""" date="2016-12-30T22:26:10Z" content=""" This is a known bug, that is supposed to be fixed in 6.20161210. However, the fix involved upgrading the ghc compiler. I think that probably this has not been done in the neurodebian build yet. I will mention it to yoh again. """]]