allow 'ghci -threaded' (fixes #1101)