* Makefile.in (LIBEXT): New variable to indicate the file extension