MariaDB build includes binaries for disabled databases

I build mariadb with the following options:

-DWITHOUT_ARIA=1 \
-DWITHOUT_TOKUDB=1 \

Yet after building, the compiled package contains the following binaries, which should not exist, since support for these DBs was not enabled:

-rwxr-xr-x root/root 391440 2015-10-22 17:29 ./usr/local/bin/tokuftdump
-rwxr-xr-x root/root 4417560 2015-10-22 17:29 ./usr/local/bin/aria_chk
-rwxr-xr-x root/root 170168 2015-10-22 17:29 ./usr/local/bin/tokuft_logprint
-rwxr-xr-x root/root 4372312 2015-10-22 17:29 ./usr/local/bin/aria_read_log
-rwxr-xr-x root/root 4203096 2015-10-22 17:29 ./usr/local/bin/aria_dump_log
-rwxr-xr-x root/root 4219608 2015-10-22 17:29 ./usr/local/bin/aria_ftdump
-rwxr-xr-x root/root 4244792 2015-10-22 17:29 ./usr/local/bin/aria_pack

rw-rr- root/root 1490 2015-10-15 15:43 ./usr/local/share/man/man1/aria_dump_log.1
rw-rr- root/root 732 2015-10-15 15:43 ./usr/local/share/man/man1/aria_ftdump.1
rw-rr- root/root 2181 2015-10-15 15:43 ./usr/local/share/man/man1/aria_pack.1
rw-rr- root/root 7597 2015-10-15 15:43 ./usr/local/share/man/man1/aria_chk.1
rw-rr- root/root 3242 2015-10-15 15:43 ./usr/local/share/man/man1/aria_read_log.1