make sure each platform use the right file