why not `$(VERSION_INT)`?