Mininet crashes when running ping between two hosts with no interfaces