Hotlink external files.

For licensing reasons we may not host external files on github.
So lets just hotlink them.