bcebd1b6b7
--with-devel-headers is given to configure: * allocator, rcache, and mpool were putting things in the wrong place * timer wasn't installing the inline implementations at all This commit was SVN r7805.