Fix #812: Write a trailing newline character to the Mix lockfile.