DEPRECATED! Please see https://github.com/mirage335/gedaProduction .