Change the path from ~/pyretic/... to ~/sdx-platform/... in mininet.sh