fix filename reference in update.php