issue #5, gcc intrinsics are not listed as external