docs, optional compilation