If you're going to convert to PPM it does not matter the original format, PNG is the best because it's lossless. BMP is 'easier' for the converter and it's also lossless.
As for this BMP you're probably exporting it in some specific format of BMP, maybe the software you are using is setting web safe colours.