Merged bash-4.3 Patch #10 for externs.h

Information of patch could be found here:
https://lists.gnu.org/archive/html/bug-bash/2014-04/msg00035.html