Rename input files to fix build

This should fix #237.