Workaround for travis