post_install() {
echo
echo "********"
echo "GCC 13 and older no longer receive upstream support or fixes for bugs."
echo "Please switch to a newer GCC version or clang."
echo "The support for GCC 13 and older will be dropped when Android NDK 31 ships."
echo "********"
echo
}
