Fix #516, update PHP req. in installer.