make properly executable by python by default