Ignore external module 'prove'