Should we also install this file?