kill -INT does not work on MAME