export AR since readline's configure gets it wrong