push refactoring, benchmarks.pl warning, manifest updated