Build badges finally seem to work now, even after rename and restart