# dummy file demanded by Python