fix #1654
Merge branch 'master' of https://github.com/dehuinet/minxing-server-flavors