Properly git-ignoring *.so files