`curl | sudo bash` isn't a security issue (on Linux)