BUGFIX: fixed missing include in update_db.php