Repository name has changed for QT, breaking all builds

I’m trying to set up CI for a Rails project on the Ubuntu 14.04 (Trusty) environment, and the builds fail every time they reach the command yes y | sudo add-apt-repository ppa:beineri/opt-qt541 under the Dependencies step. This command is run after my pre steps from the dependencies section in my circle.yml and I can’t seem to override it.

The reason for the failure is that the path to the PPA has been changed to beineri/opt-qt542-trusty after the release of QT 5.4.2, and beineri/opt-qt541 has apparently been taken offline. I’ve read through quite a few topics on the issue but none of the solutions described prevent the machine from attempting to add beineri/opt-qt541 to the repository list, which exits with a non-zero status code and fails the build. The exact error message is as follows:

Cannot add PPA: 'ppa:beineri/opt-qt541'.
Please check that the PPA name or format is correct.

yes y | sudo add-apt-repository ppa:beineri/opt-qt541 returned exit code 1

Action failed: yes y | sudo add-apt-repository ppa:beineri/opt-qt541

So far, I’ve tried adding overrides for this command, installing qt542 prior to this step (which succeeds but doesn’t prevent the attempt to install qt541 in the dependency steps that follow), and overriding the QMAKE env variable under the machine section. I’ve also tried rebuilding without cache after each of the attempts above, still to no avail. My current circle.yml file looks like this:

dependencies:
  pre:
    - sudo apt-get update -y; true
    - sudo apt-get install apt -y
    - sudo add-apt-repository ppa:beineri/opt-qt542-trusty -y
    - sudo apt-get update -y; true
    - sudo apt-get install -y qt54webkit qt54declarative libwebkit-dev libgstreamer0.10-dev
    - echo "/opt/qt54/bin/qt54-env.sh" >> ~/.circlerc
  override:
    - yes y | sudo add-apt-repository ppa:beineri/opt-qt541
machine:
  environment:
    QMAKE: /opt/qt54/bin/qmake

Please let me know if there’s anything that can be done about this in the short term. My team would like very much to be able to use CircleCI for our projects, but if this stays blocked for much longer then we’ll be moving on to the next best competitor.

Thanks in advance.