Return default proxy if searched one is null (leading to unability to
sync from github)