Workaround for travis & contributors task cache

Ref #218