fix --with-hasktags