Update solver paths.
Fix bootstrap script.