Delete html4.pyc