Github bug is not fixed. Using a workaround.