embed pervasives.cmi in jenga