> You probably want to use: > runghc Setup configure --user That didn't help. I should've mentioned this earlier, the user repository doesn't live in the standard directory but in a special one. Does this make any difference? Thanks, Lars