version bump: this version also fixes compilation problem