post_install() {
  echo 'Source code for Arm MBed v6 has been installed in:'
  echo '/usr/src/mbed-os6/'
}