Fixed #751: Bug - Installer - Ubuntu 13.04 - php5-suhosin is not available
Merge branch 'upstream-master'