Workaround happy travis

Use old happy to avoid build failure on travis due to the latest happy's issue.