#3: added install target to build; turn on WITH_TESTS by default