another fix around wtest Linux distro detection (wrong flags in platform.mk)
Merge branch 'master' of github.com:mbarbos/Wolframe