added --no-extensions, updated makefile