amend 5055b89cf957: add missing files