Install .a files together with .cmxa