Mega Pro 16 mHz/5v not uploading...

Actually I just noticed that the board files are for the 8mHz/3v3 board... The board.txt lists the Mega Pro as 8mHz...

Can someone point to where I can find the right board files?