20130715: updated to reflect new configure flags