minor change, but not yet a full fix for serpent_lib makefile