[nhc-bugs] GNU/Linux i686: PreludeList.init: empty list