Update update_0.9.inc.php