Add a blank line to FileCheck input.

FileCheck does not like the empty input file, so adding a blank line to workaround.