> Seems like a bad idea to me: "Oh no! gringo V2.12 uses undefined
> ANSI C behaviour and makes the machine dissapear into a space-time
> vortex; lucky I caught it that time, but I'll have to fix it
> tomorrow. chmod 0 /usr/local/bin/gringo"
/usr/local/bin is not a public area.