fix demented.mk