luaffi: ignore extern covers. Closes #769