use a ps3 controller on linux