post_install () {
  echo "Start Floodlight as `sudo systemctl start floodlight'."
}