Quick travis workaround