Trying again to fix github weirdness