Replaces the file extension
String replaceFileExtension(String replacement) { return removeFileExtension() + replacement; }