do not set a platform if unknown, closes #753