Thanks to previous commit, this file is obsolete