gitignore update (reverted from commit 3959cef488a67f5dc7601bb7afc16bbfb7d146ee)