update: update to latest Git HEAD