Updated files for LibBi 1.2.0.