Merge branch 'master' of git://blackhole.kfki.hu/nf