Write the actual display id into the tmp file