allow prove to be specified by config