| system("ld -r -x -o " ++ ghci_lib_file ++ | " --whole-archive " ++ batch_lib_file) It works with gld however! Maybe configure should insist on gld being there. /K