Update extract-files.sh

Workaround for VPS to get proprietary binaries from local source.