Fix a bug in make profile for extensions.