Make it easier to run update.php

improves the relevant quick scripts.

Fixes #153