auto push_repos (08-07-14/00:00:27).
changed optimizations
removed bad file