The instructions state

_

Clear the cache via console command php app/console cache:clear --env=prod (might take a while) OR manually delete the app/cache/prod directory.

_

This directory no longer is used for cache. Cache is found in /var/cache/