Merge config.[ch]pp and semaphore/config.[ch]pp