Updated precompiled file name in the readme