Some improvements

You might not want to include all of these modifications though (e.g. the modification to premak4.lua might not be useful to everybody).