post_install() {
  echo 'You need to source /etc/profile or relogin to add the Android SDK platform tools to your path.'
}