Fixing pintos
updating git ignore