Get rid of the configure file (version mismatches and platform-specific code)

I think it's better, on the Git version, to not include autogenerated or compiled programs.
Besides