SERIOUSLY CONSIDER doing 'rm ${DISTFILES}/crafty/*.emd' as root when
you have installed all of the tablebases you're going to want.

To make use of the tablebases, something like the following should be
added to your ~/.craftyrc file:

        egtb
        cache 12M