FIX issue #15: updating gitignore once more