Adds check-extension to the Makefile