Makefile.shared: improve portability of commit#17753.