Updated .a file name