fix cannot execute binary error, see issue #12