Make it possible for the user to specify a different default build file