workaround for travis sake