updated ex_ext.m4 to official upstream (serial #13) version

   - now contains the patch from refs #1227