Disable non-virtual files when recreating ASTs from an execution trace (requires
SeeC-Clang 32d80daa150856509326514b649320e8176d6be0). This is one more piece of
the puzzle for #23, but needs more testing.
Use -Wno-strict-aliasing because some of the libraries that we use throw a lot
of strict aliasing warnings.