small correction for prebuilt file