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

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