[ comand-line options test ] Fixed
[ Makefile ] Removed --no-universe-polymorphism and --without-K options