Debug info: Do not create files with empty names

This works around a bug in cgo which sometimes causes it to use the //line
directive with an empty file name.