Copying the directory is a bit brutal, but it does the job so I think we should do it...