Python wheels: set Py and ABI version and platform without dummy-C-source trick

Currently, a dummy C source is used to get the wheel file name right. We should do without.