This is necessary to import check_names from other scripts, which will inevitably happen in the next few commits to implement the equivalent of `list-identifiers.sh --internal`. Signed-off-by: Yuto Takano <yuto.takano@arm.com>
