Fixing prefetch mess-up. It was ifndef not ifdef