Update fedora_dev_server.sh