On Linux use libffi for allocating executable memory (fixed #738)