verify_branch fix bug with checking if fedora is running
Merge remote-tracking branch 'origin/ubuntu-12.04' into ubuntu-13.04