Update os.inc.php

deleted some lines