rename ser_libref.s to serref.s in order to be consistent with other targets