Fix error for no 64bit file support

Because the cache was set the error wasn't shown after
rerunning cmake.

Change-Id: I9def74eaecd02d2f2bfc6c40b7954404e2890717