Remove hopefully all resolution-dependent code.