cat post-install
#!/bin/sh

# sudo rm /opt/microchip

if [ -d "/opt/microchip.temporarily_renamed_for_xc16_install" ]; then
   # Control will enter here if $DIRECTORY exists.
   sudo mv /opt/microchip.temporarily_renamed_for_xc16_install /opt/microchip
fi
sudo chown root:root /opt