fixed bug where os has no php5