Thanks to all who responded.
My apologies for the posting --=20
the "successful" compilation with gcc-core alone
picked up the needed files from a different directory,
so I was wrong to think that it was sufficient.
Prof. Mordechai (Moti) Ben-Ari
Department of Science Teaching
Weizmann Institute of Science