make sure we're back in the original directory after running main()