remove $Id$, it does not work with git anyway