file: update to 5.12.