workaround for #277
Revert "workaround for #277"

This reverts commit 64971e08cdc78b9eda59766012ae88d4ff8cddfa.
workaround for #277
Revert "workaround for #277"

This reverts commit ef2087b379da2351e4054f6099944833f024b39e.
yet another workaround for #277.
install happy by apt-get.