Rethink compile-time environment variables

[mkroening]

We are currently using several compile-time environment variables. It might make sense to phase them out.