Remove mysql-tmpfs and update Makefile.
Fixes merge.