No matter what codec I pick, the exported video will always be MP3 in format. This currently makes exporting image sequences impossible.

Update: Found a solution! You need to type .png to the end of the name AND select png under the file selection. These two things will allow the files to be properly coded.