Add hack for Lwt ssl.cmi search mismatch