patches: use gcc 4.7 for vlc-app