make.py: add platform-option