make install DESTDIR=$INSTALL_ROOT  &&
# symlink those so that bash still works after the update
ln -sf $TRACK_ROOT/lib/libreadline.so.5 $INSTALL_ROOT/lib/libreadline.so.4  &&
ln -sf $TRACK_ROOT/lib/libhistory.so.5 $INSTALL_ROOT/lib/libhistory.so.4  &&

# install inputrc stuff to have better key mappings in console
if [[ "$INSTALL_INPUTRC" == y ]]; then
  install_config_file  $SCRIPT_DIRECTORY/etc/inputrc           \
                       $INSTALL_ROOT/etc/inputrc               &&
  mkdir -p  $INSTALL_ROOT/etc/profile.d/                       &&
  install -m 755  $SCRIPT_DIRECTORY/etc/profile.d/readline.sh  \
                  $INSTALL_ROOT/etc/profile.d/
fi
