echo "Package 'RWinEdt' can only be installed/used under Windows."
exit 1
