opentx/opentx — pull request #535 by Dvogonen (2014-01-15 20:17:23+00:00)
Title: Fixes #512

Well it seems to build and the only change is that a file name is changed , so I think we can merge this one.