Oops, I forgot to explain. dup is used to make symbolic links to the same source directory and it allows each user to build in their own directories and have their own source modifications to be linked in. See its README for more details. - Haobo