Makefile fix for sdsl