file-push student fixes