added php5 to zshrc
changed default value for push