Bringing back dotc script that was accidentely deleted.