Hopefully a workaround for travis