Version bump: Gecko mediaplayer to 1.8