Change in osmo-dev[master]: gen_makefile.py: use s#git://#https://# in git clone base URL