Migration to Github: adjust scripts