What's the rationale behind adding ide/prebuilt/thirdparty to gitignore? These should be submodules, so git should handle them correctly...