mikmod: omit docs directory, it does not build reliably