add haberman-prop.bat