make distcheck sometimes leaves the core directory behind

For example, see: https://travis-ci.org/torproject/tor/jobs/403115782