Mit distc­cd kann man ent­fer­nt compilieren.