Make the public extension folders configurable (see #8)