use spec2make.py (very first draft) when the C code does not compile (f15)