ALT_VERSION_FILE had been removed but not completely cleaned up