Fixed an issue regarding which files are included in 'make dist'.