Fix serious bug where I was including a ".c" file