Remove travis workaround