update to git:0512f4a
fix distinfo after update