Replace 'import prog2' by 'import prog1'