Tweaking some minor bugs with building

and renaming our "Builderfile"