Driving omxplayer through PHP on a Raspberry Pi