actually add the renamed file, bah GitHub