some necessary copypasta for building