restore ability for Makefiles to use 'generic' platform names when needed