Added runprog3 alias.