I am currently trying to convert a live feed from a Raspberry Pi camera to H264 and store it as a mp4 video using gstreamer. Since I am using a Raspberry Pi 1, I need to use