[SeaBIOS] git repo https not working?