workaround for travis