Make g++ treat the (void *) conversion as warning instead of error for the time being
Remove the hardcoded value of ubuntu13