actually grab polarssl version number, thanks Morten Stevens