updated version, so we can distribute 0.1.3