This file is a real pain in the ass... could you remove it from your PR?