Fix tasty-golden version (maybe needed on travis -- but why?)