Clean up old push.so from master