Invocation of check-extension from the make file