Do not try to install no-more-existent lib/ext/ dir.

Leaving the configure variable libextdir for now, since we may want
to reintroduce such a dir in the future.

Thanks Francisco Justo for reporting.