Fix URL to libvdwxc as the old address had been taken over by evildoers.

Fix URL to libvdwxc as the old address had been taken over by evildoers. #814