Workaround for bad GENERIC_TARGET_LIBRARY