fixed bug in get cores require statement, fixed bug in fold benchmark, renamed parameters of zips