My solution to the 13.10 brightness issue