Use different source for x264 executable