Oil-lubricated compressors