Fix reference to broken SDK file name from previous release