Remove frontend_salamander.h