Removed push since ubuntu 12.04's git version still doesn't support it.
Various fixes.