Tune Makefile.
Merge branch 'master' into deploy
Comitted after merge with 'make deploy'