Lens aberration compensation in interference microscopy