Update ext_spl.h