/* The object file's original name as specified by the user,
made absolute, and tilde-expanded. However, it is not canonicalized
/* The object file's original name as specified by the user,
made absolute, and tilde-expanded. However, it is not canonicalized