Fix accidental removal of idea-related build files