fix dev_platform symbol declaration