Revert "fix .gitignore following project rename"

This reverts commit d846d805fbdf5378a9f485d04483aa248fcc7fc2.