fix cannot execute binary error, see issue 12