Remove pragma and unneccessary parts of the header