Added a few helper scripts and fixed a bug in update_manager.