Tweak to 'fetch-libraries.sh'.