mahdi.mk: make some small changes and add missing extract-files.sh