Wget now ignores certificates (to bypass github's cert error)