restore edx-platform code