Point to the version on toollabs, not toolserver

Bonus: HTTPS!