Apparently this file is needed as well.