2011/8/1 Daniel-Constantin Mierla miconda@gmail.com:
it is in the excluded list in the latest master branch for quite some time, however, if one just does git pull without re-building the local config for Makefile (in this case at least the modules.lst: make modules-list), then it will be compiled.
Thanks Daniel, that was the point.