use proxy when installing leap