gitignore fix
(cherry-picked from 045f91f)