Renamed autobahn server so that it doesn't conflict with imports