git ignore versioned .so files