Makefile - do not distinguish between dev and release builds
Validate user-selected themes