TOPLEVEL: changes default prog
COMPILER: fix renaming when toplevel