Missing .a file cause git was ignoring it