lucius: use https url and sync with master