add comment about how to run with prove utility