Make the IP allocator yet another time more robust