Fixed errors arising from compiling SinMuon. THIS COMMIT NEEDS AN EXPERT REVIEW