Patch to include aria man pages in actual build