> Anyone have any ideas what this bug is from: > > https://bbs.archlinux.org/viewtopic.php?pid=1092231 I bet it's this: http://cmake.org/Bug/view.php?id=13125 Eike