File Empty: generated at distribution time

See "make dist"