I believe it should be 'OS_TIZEN' at least, why it cannot exist for generic linux?