Removed user_config.pri.dist, as it was bit-rotting