An ARM port for JWlink v1.9 beta 13