Have a look at the HubDNS docs and try manually setting from within the machine. Obviously it should work and I'm not sure why it isn't but hopefully setting it manually will get it working. Let me know how you go.