Added pintos. Hopefully ignoring correct stuff by default.